perm filename CMSY5.PS[CM,DEK] blob
sn#797388 filedate 1985-06-26 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β(↔ εbp→
G#λ≤Mε4 %P⊂ε@∧TP∩RDT("↓E∩x∀ α@⊂.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_%
)"H%
+P_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@i"H%
)"H"Q↓αH↔J∧↓∧Uau(αA _αT`@8↓↓@Eλαα @α∀0X↓α@4x↓C X↓S@0h↓β4h↓C@ h↓S x↓β@$`↓C` p↓S!↓β`$X↓D x↓R`!λ↓∧$X↓∧ !↓∩@1λ↓∧4P↓∧@!λ↓∩@!⊂↓∧ $P↓∧@!λ↓∩E∀P∀R@!⊂↓∧ $P↓∧@!λ↓∩@!⊂↓∧ $P↓∧@!λ↓∩@1λ↓∧4X↓∧ !↓∩`!λ↓∧$X↓D x↓S!↓β`$`↓C` p↓S x↓β@$h↓C@ h↓S@0h↓β4x↓C X↓T0X↓α@5λαα @α∀`@8↓↓@E(αA _αUauP∧Q(@P∀Keαλα*px*A!⊂()A↓p (Aα0 (bp_'@c⊂_'↓"p(&@`⊂_
@`⊂_&@@0_ @`0⊂&`@_λ@`@_&@`_π@``⊂%@`p_ε@`p_%@A⊂_¬@a⊂⊂%@A _∧@a ⊂%a0_β@a0_%AP_α@aP⊂%A`_↓@a`⊂%Ap_@ap⊂%B(λI ⊂λ@b⊂⊂%B(λI ⊂π@`⊂_π@I ⊂π`0_πI ⊂ε@`P_ε@I _¬@`p_¬@i0⊂¬a⊂_¬I0⊂∧@a0_∧@I0_β@aP_β@i@⊂βap_βI@_αb⊂_αiP⊂↓@b0_↓@IP_@bP_@i`( A)p_ @j_ @j⊂ A
0 πA
P(∧A*px-α(T -HE↓x∂ !h↓∩@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R@1`↓R`1P↓R`A@α∪A0α∪ Q⊂αSAP∧∀αe⊂ ∃A$("↔∧"@∂GA@P)∧J↓0'α↓ @&A" (&↓α` %Aβ %@c _%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%c@_%@CP⊂"Q b⊂∀πca↓⊗ EHα⊗e@β∃`0⊂↓U`0⊂↓U@0 ↓U@0 ↓U 00↓U 00↓U0@↓U0@↓T`0P↓T`0P↓T@0`↓T @`α∀ 0p↓T1↓T1↓S`1⊂↓S`1⊂↓S@1 ↓S@1 ↓S 10↓S 10↓S1@↓S1@↓R`1P↓R@APα∩@1`↓R@!p↓⊃(Ex⊃
βqpC`⊂%c@_%↓β %@c _&c_&c_&@b`_&@b`_'b@_'b@_'@b _'@b _(b_(b_(@a`_(A↓@ )a@_)@a _)@a _*a_*a_*@``_*@``_+`@_+`@_+@` _+@` _,↓K0,A ⊂ -HT ⊃E#R`⊃α@∃_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`4P↓↓`08↓∩@@(↓A D`α`0_α∪@0⊂↓@@4x↓@ 0λ↓T u⊂αT`5_↓U∀("λBQh⊗λA λ)@j0_)↓*⊂8'@`⊂_@i`_↓` _&↓0_↓A α@`P %@p_β@J0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j0_)@j@λ"Q∧β8≡Dα@P↓∀`%_↓∀@%λ↓∀$p↓SεDP≠SεDp↓T%λ↓∀@%_↓∀`% ↓⊃(Bλ≠O"↓ ∃@N`⊂;Np⊂<O⊂⊂=i3 %
i3 =o⊂⊂<Np⊂;N`⊂:@HT ∩
gQ
α@!x↓∀`"λ↓∀`"λ↓∀@"_↓∀ "(↓∀"8↓∪@2H↓Sε4P≠Sε4p↓J 5↓ `%λ↓ %⊂↓λ`%_↓λ %_↓λ % ↓π`$("εDRh∩πAa8*FJ1`(Aj('A ` &A P_&i@_%@i0_%@i _%i _%i _%i _%i _%@i0_%@i@_&iP_&A ` 'A
((Aj1`*FK↓8"Qβ2(⊗Iβ`λ ∩C$X
X v αY@F8α~FH↓Z@6P↓Z`6X↓Z`6`↓[6`↓[6`↓[6`↓[6`↓Z`6X↓Z`6P↓Z@6H↓ZF8α→@F αX tX
RC$X ⊃(C⊂∂ DApπ∧
Q_)E*⊂8(↓)p '↓ P &@i@_&i0_%@i0_%i _%i!p%πI!p%i _%i0_%@i0_&i@_&@iP '↓ p (↓*⊂8)E*Q_,∧λT ≤λ$B_⊃ !`↓∩@1X↓R@1X↓R`1H↓R`1H↓S18↓S18↓S 1(↓S 1(↓S@1_↓S@1_↓Sbtx Sbu↓C`5↓C`5λ↓C 5λ↓C 5⊂↓B`5⊂↓B`5_↓B 5_↓B 5 ↓A`5 ↓A`5 ↓A`5(↓A 5(↓A 50↓@`50↓@`58↓@ 58↓@ 5@αVUH↓V 5H↓Q(CH
H$"⊂εi!X%εl _1l _1l _1l _1l _1l _1l _%FI1P%FL _1l _1l _1l _1l _1l _1l _%εi!X%εhT ≥λEp ∧$P⊃∩D&H↓Z 6H↓Z 6H↓Z 6H↓Z 6H↓Z 6H↓Z@∀("¬∧Rh↔Hd _5↓-83↓L@01↓L0/↓K@0-↓K0+↓J@0)↓J0'↓I08%↓I 0%Ai`0(↓J 0*↓J`0,↓K 0.↓K`00↓L 02↓L`04↓M (6hpH )"(% (T
I%Rx⊃@4PαR@thβ∪`eλβ∀`e(β∃`eHβ⊗`ehβ↔`fλβ_`f(β→`fHβ~ f8βY f_β_ exβ↔ eXβ⊗ e8β∃ e_β∀ dxβ∪ dXβ∩@TP↓Qa⊂∩RDTP∩Q(Aλ∀Kc!H
)"H%
(pH
)"H%
(pH
)"H%
(T 7εβc⊂∩@$P↓R@4X↓R`4`↓S4h↓S 4h↓S@4p↓S`4x↓T5↓T 5λ↓T 5⊂↓T@5_↓T`5 ↓U5 ↓U 5(↓U@50↓U`58↓V5@↓V5H↓V 5P↓V@5X↓V`5`↓W5`↓W 5h↓W@5p↓W`5x↓X$("~@0h→ _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _"Q⊂0
A!pλα∩@dPβ∩@dPβ∩`D("↓#Rλ∞εA`⊂+A
`0*B
@ ↓↓
0 α↓
β↓
⊂ ∧↓
¬↓ p ε↓ ` π↓ P λ↓ @ ↓ 0
↓ i0
↓ @ ↓ P λ↓ ` π↓ p ε↓
¬↓
⊂ ∧↓
β↓
0 α↓
@ ↓↓
P@+↓Jp ,HT 3¬CS⊂∩De8∧U u β∀`e_αT`U_αT`U_αT`U_αT`U_αT`U_αT`U_αT`U_αT`U⊂αT eαRA$PβRA%αT e⊂αT`U_αT`U_αT`U_αT`U_αT`U_αT`U_αT`U_αT`U_αT`e β∃ u8∧V@d("→bah→ 8%αIp8(AJ 0)A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0(*↓*@0*AJpH-↓JpH*AJ@0*↓*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A* 0(AIp8%αI 8"Qε∪8≡Eb`HβE`uλ¬Da4xπC`P8↓S@@0∧α`@`↓∪ XβB @p↓∪ pβ↓`1λ↓∪⊃β↓ 1⊂↓∩`!λβ`1 ↓∩`⊃_β 1(↓∩@! ∧¬`$P↓¬ q8↓∩@!0β¬`$P↓¬`a0↓∩@!8βE $P↓¬a↓ ↓∩`!(↓@ a⊂↓∩`! ↓@`aλ↓∪!⊂↓A `x↓∪!λ↓A``h↓S pαα pP↓S@ `ααa0α∪`08αCauλ¬Da5_βE`t("≤c"↔λb (-Ak _αK _↓A ⊂ ↓↓+⊂_↓A+⊂_↓A+ αk ,↓ ,↓
p +A
p +A
`(+↓*`(+↓*` *A*P(*A*P(*A*P *↓*@(*↓*@ *↓
@ *↓
0()A
0 )A
0 %@`P_%↓ @_%↓ 0 %↓ 0_%↓@_%@@@_&↓iP("Q!h∀Gβ λ↓ε$Pα¬@4Xα¬D`α∧@Dhα∧Dpαβ@DxαβEαα@EλααE⊂α↓@E_α↓E α@E(∧∃@e8α∃@e(∧∃@⊂α∀`@ α∀@@0α∀ @@α∀@Pα∪`@`α∪@@pα∪ Aα∪A⊂α∩`A α∩@A0↓R`!@↓⊃(@_ πBQ0¬@J@ *↓
@ %@@p β@I (β@`(%↓@P⊂αAI08↓@@08'↓@⊂⊂AJ⊂P*↓
@ (BI`0@@⊂0%A`0⊂↓Ai 0α@@P0%↓ `⊂β↓)0⊂βAp⊂*↓
@ *↓
P⊂"QBP_λCQ_α↔eX∧⊗a¬X∧⊗a¬`β↔ D8∧¬$P∃∩E$8∧∧`E`β⊗a¬X∧⊗a¬X∧↔ehα⊃(@8∀Ke↓`
)"H%
+P_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@i"H%
)"H.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_/HT ∧J%r@⊂∧↓∃8πU PHαT`@xα∀ A_α∀18↓S`1H↓S@1X↓S 1h↓S !x↓∪1x↓S"λ↓∩`2λ↓R`"_↓∩`"_↓∩@2_↓R@"(↓∩@"(↓∩@"(↓∩E∀P∀R@"(↓∩@"(↓∩@"(↓∩@"(↓∩@2_↓R`"_↓∩`"_↓∩`2λ↓S"λ↓∪1x↓S !x↓∪ 1h↓S@1X↓S`1H↓T18↓T A_α∀`@xα∃ PHαUauP∧Q(@X∀Keαλα*px*A!⊂()A↓p (Aα0 (bp_'@c⊂_'c⊂(&@c⊂_@iP⊂ @`0⊂&c_αi@⊂ ``⊂%@bp_β@i0⊂ @a⊂⊂%@B`_¬I _
@a0_%BP_ε@I ⊂
a`⊂%B0_π@I ⊂ b⊂%B⊂_λ@I ⊂λb ⊂%Ap_ @I ⊂πb@⊂%AP_
@I _¬@bP_%@A _ I0⊂∧@bp⊂%@`p_ @i@⊂βc⊂&`@_ iP⊂↓@c⊂⊂&@`⊂_ @i`( @ip_ @j_ @j⊂ A
0 πA
P(∧A*px-α(T ε
%r@⊂∧↓∃8πU PHαT`@xα∀ A_α∀18↓S`1H↓S@1X↓S 1h↓S !x↓∪1x↓S"λ↓∩`2λ↓R`"_↓∩`"_↓∩@2_↓R@"(↓∩@!λ↓D $P↓∧Q↓∩@ xβC`$P↓β`px↓∩@ xβC`$P↓∧Q↓∩@!λ↓D $P↓ $P↓H`4X↓λ`$X↓λ`$X↓H 4`↓λ $`↓G`4h↓π`$h↓G 4p↓F`4x↓F 5↓E`5λα∧`E_αβ`E(αB U8πVA∀("β&sh↔λb`X.∧k⊃H+B!0H*Ab08*↓#⊂()↓#P((A#p((↓∧0 'A∧P '↓∧p 'e⊂_&@e0_&@e0_&eP_&eP_%@ep_%@ep_%@ep_%f⊂_%f⊂_%f⊂_%f⊂_%f⊂_%f⊂_%f⊂_%f⊂_%f⊂_%@ep_%@ep_%@ep_&eP_&eP_&@e0_&@e0_'e⊂_'↓∧p 'A∧P (↓∧0 (A#p()↓#P(*↓#⊂(*Ab08+B!0H,F+A_0αhT πεβa@ α eλ¬∪adpαA@Thαα@D`αβD`↓C@4X↓D4X↓D4P↓D@4P↓D@4P↓D@4P↓D@4P↓D@4P↓D@4P↓D@4X↓D4X↓D4`↓C@4`αβDhαα@DpαA@Txπ∀!%_β⊃(@x πC↓@∧AJ⊂P'CIa&DIA &¬ 10%EI!@%ε !@%ε !@%ε !@%EI10&¬ A &DIa'CJ⊂P)AHT λ
%qp
@"(↓∩@Bλα∩@QxαSAhα∪ QHαS@a(β∀aλβ∀AH∧∃αU0λ⊗A∀8∧D↓∃0λ∃αU⊂∧α!¬β∧ dpβ¬ dhαF T`απ DPαG`TPαλ DP↓ $("∧DRh↔Haa8*FJ1`(Aj('A ` &A P_&i@_%@i0_%@i _%i _%i _%i _%i0_%@i0_&i@_&@iP '↓ p (↓*⊂8)G
QP,¬hpH↓λi2 &λhT I%Rx⊃@"dP
∩c6λβYV0α→`F@α~ 6P↓Z@6X↓Z`6X↓[6`↓[6`↓[6`↓[6`↓Z`6X↓Z`6P↓Z@6H↓ZF8α→@F αX tX
RC$X ⊃a⊂⊃RDDP⊃Q(A0∩K%r_⊃@M@_6m@_5@m0_5m _4@m 3A ` 2↓, 0/Ak@@*C)!(%∧i!0+β+P@0↓l002A,p 4↓
⊂ 5m 5@m0_6m@_6mP⊂#B α(% )"("Qαr(⊗Kd0↓∩@4P↓R@4X↓R`4`↓S4h↓S Dpα∪`EαT e_βU!¬8εVBU` V"e0εU↓¬⊂βTdxαS@Dhα∪D`↓R`DX↓R`4P↓R@4P↓R@$8∧@∧TP∩RDT("ε¬∩xπ∧a0
*P @Ip` I`p
@IP(β↓"0_&↓↓ i@_ε↓!p_%@a`(πi0_πA!@_%b⊂(¬↓ _ A `(%BPp%B``%BpP%@#⊂0"Qβ∩H↔FC @βε@∃¬¬`$pπ¬ $hλD@4`β↓@qλ↓R`PPβC@4X↓C@pPαR@1λβA@dP↓DB∀P↓¬!dP↓¬a$P↓ε d8↓Be¬¬`$pπ¬ $hλD@4`β↓@qλ↓R`PPβC@4X↓C@pPαR@1λβA@dP↓DB∀P↓¬!dP↓¬a$P↓ε d("πεsh∪πd _π@m (εA-0ε↓L`0ε↓L@0ε↓L 0ε↓L⊂(εA+p(εA+P0ε↓K00ε↓K⊂0ε↓Jp0ε↓J`(εA*@(εA* 0ε↓J0ε↓I`0ε↓I@0ε↓I 0ε↓I π↓ 0ε↓I@0ε↓I`0ε↓J0ε↓J 0ε↓J@(εA*`(εA*p0ε↓K⊂0ε↓K00ε↓KP0ε↓Kp(εA,⊂(εA, 0ε↓L@0ε↓L`0ε↓M0ε↓M (εA-@_π@hT ∞MgR0∂@0x↓R@PhαR```β∪ ``β∪```β∀ ``β∀`PhαU PhαU@``β⊗``β⊗@``β↔``β↔@PhαXPhαX ``β_```β→ ``β→```β~ ``β~`@pα~ ``β→```β→ ``β_```β_ ``β_PhαW@PhαW``β⊗@``β⊗``β∃@``β∃ PhαT`PhαT ``β∪```β∪ ``β∩```β∩@PhαR@0x↓Q(Ap∩K$1h⊃@M@_6m@_5@m0_5m _4@m 3A ` 2↓, 0/Ak@@*C)!(%∧i!0+β+P@0↓l002A,p 4↓
⊂ 5m0_5@m0_6m@_6m@_"Qβr(⊗HcP↓∩@4P↓R@4X↓R`4`↓S4h↓S Dpα∪`EαT e_βU!¬8εVBU` V"e0εU↓¬⊂βTdxαS@Dhα∪D`↓R`4X↓R`4P↓R@4P↓R@4(" &sh⊗λE⊂_∧@N0p;αO 0<Ao(@Np ↓@N` αN@(α@N0(βN ∧N⊂ ¬Mp(¬@M`(εMP(6↓
(4A-(3A ` 2↓,0(1↓ ⊂ /A+`(.A @ -A ⊂(,↓*p +↓
@()A* (A p('↓)P &↓ 0 %↓ 0λ"Q∧c8≡K∧ λR@DXα∪Dhα∪@TxαT E⊂α∀`E αU@E8α⊗EHαV`E`α↔ Epα_Fλα_@F_α→V0α→`F@α~ FXα≠Fhα≠@@h↓≤@X↓≤ @P↓≤@@@↓≤`@8↓≥@0↓≥@@ ↓≥`@_↓≡@⊂↓≡ @λ↓≡`W0¬≤ag_↓B $(" e∩x
ε!0
*P @I`h IQ
I@0β↓B _%A↓0(λ@i0_εA!p_%@ap(ε@i _λA!0 %b 0β↓I ⊂
∧ ⊂ β) ⊂ BI0λ AHpP
)"H%
(T ∀
gQ`
¬5h↓W5`↓V`5P↓V 5@∀Ue%(⊗∃E⊂α∀Thβ∩@thβ∀U⊂α∃E(⊗∃e%@∀V 5P↓V`5`↓W5h↓W@4("
&sh∞εD_5@m@_6mP_7mp_%
)"P% ∞0 :A∞`(<↓O 8<↓N`(:A∞0 % "P%
-p_7mP_6m@_5@m _"Q¬"λ∪ ∧!V@∃H↓VU@αU`0λ↓U`0λ↓U@0_↓U 0(↓U08↓T`0H↓T@@Hα∀`Hβ∪`pHβS Pλ↓B 0λαR`P_↓B 0_αR@P ↓B 0 αR@00↓B 00↓R@⊂@↓B 0@T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓T`0H↓Q(BX⊂IEB⊂∧@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_)@a⊂_%!_∧@aλ%``_∧@``_%↓ @_∧@`@(%A 0_∧@`0(&A ⊂_∧@`⊂('Aa⊂8(↓A⊂0)↓↓⊂ )@a⊂_*`p_*@`P_+`0_+@`⊂_+@`⊂_,↓+(,@k λ-(T ⊗∞'a`
∧1_↓V@1_↓V 1(↓V 1(↓V18↓U`1H↓U@1X↓UD∃ ∩Tdu⊂↓H`5α DpαI`T`αJ`TPβ d`αJ`TpαI`Uα E⊂↓H`5_∪U∧U0⊂U@1X↓U`1H↓V18↓V 1(↓V 1(↓V@1_↓V@1_↓Q(Bh≠O%B⊂A⊂_%βI0P%A)0⊂A 0⊂↓↓ 0⊂↓A 0⊂α↓ 0⊂β↓ 0⊂βA 0⊂∧↓ ⊂¬↓ ⊂¬A ⊂εA -A @ /↓ p 0↓ ⊂ 1↓,@ 2A ` 3A
⊂ 5↓
0 6↓
P(7A∞ 8A∞ (:↓∞P ;↓∞p(<↓/ =A∂@ >A∂pλ"Q¬c8≡K∧#(← G`α≡`GPα≡W8α]@G(α≤`W⊂α\ Gα≠@Vhα[FXα~@F@αY`V0α→ F_αX@Vλα_EpαW U`αV`EHαR@ `αR@ XαR@ Pα∩` @α∩` 0αR` (αR` α∩` _α∩` λαR`tXβ∩a$Pπ∩@ H↓Q(Bx∀Kbq0∧↓bP((β↓p@'βa@(&A`@∧A @_¬↓`p_&AP0α@i0⊂πA@0_%@B0@i ⊂ ↓ ⊂⊂%B @%B00%B@(%BP(%BP0%B@@%@B0⊂A)0⊂ `⊂0&B_↓AI@⊂π@`P0&@AP_βAi`⊂¬↓↓⊂@'@``(εαJXπB* 0
AHT _βα⊃H
A`5β∀eβ∀dxβ∪`dxαS@dpβ∪@TpαS dhαS ThαST`αSDXαR`TXα∩`DPαR@D`↓⊃(C_∂ DApCi!_%E 8.A+p 0↓ ⊂ 1l0_1@l@_2l@_2@lP_2@i!p%πI!p2@lP_2@l@_2l@_1@l0_1l⊂ 0↓ p .A+ 8%E !_%ChT ~ &r_⊃E`6λ↓XUxβW`0λ↓W@0_↓W @_α↔ 0(↓W08↓V`@8α⊗`0H↓V@0X↓V @Xα⊗@hα⊗0x↓U`1λ↓U@Aλα∃@1_↓U 1(↓UA(α∃18↓T`1H↓T@AHα∀ AXα∀ 1h↓T1x↓S`Axα∪`2λ↓S@2_↓S B_α∪ 2(↓S28↓R`B8α∩f∧P_Rf∧("
&∪8⊃F∪% )3%A∧p &dp_&@dP_&A∧0 'd0_'@d⊂_'Aβp (cp_(@cP_(Aβ0 )↓β⊂ )@c⊂_*bp_*↓αP *@bP_+b0_+↓α⊂ +@b⊂_,ap_,↓↓P ,A↓0 -a0_-@a⊂_-Ap .`p_.@`P_.A0 /`0_/@`⊂_/Al(0@l⊂_"Qεah∀KD1P↓→6_↓X`6⊂↓X@6λ↓XF↓W`5x↓W@5hα↔ 5`↓W5X↓V@EP↓V 5H↓V58α∃`50↓U@5(↓U 5 ↓T`E_↓T@5⊂↓T 5α∀4x↓S`4p↓S Dh↓S4`↓R`4X↓R@4X↓⊃(C8αBb!(i _%i _%i _%i _%↓ (%↓ _%i _%i _%i _%hT ≥FβbP∪∧@%X↓V`5_β 5λε∪`P αS@@8αS @@β∪ 0Hβ∪@@↓@ D`αα0λα∩`@H↓@@DXαα0_α∩`@@↓@`DXαα0_α∩@P8↓ATPαA`0 αR@P8↓ATPαA@0(αR@P0↓A TPαA@0(αR@P0↓A TPαA 00αR@P(↓A@TPαA 00αR@P ↓A`TPαA08αR@P ↓A`TPα@`0@αR`@_↓BDXα`0@α∩`Pλ↓BT`α 0@α∪@λ↓BDhβα 4hβαDpαA`DxαATxε∪`0λβ∪@4p↓S@$("∂¬∩x∩λ`P(πAIPH∧Bi@_α↓`(↓↓i0⊂∧`0 β↓I ⊂∧A⊂_∧AI ⊂¬↓A00%A (εAI ⊂¬A↓P0%@A π↓I0 ∧↓!`0&↓p(πAI`_β↓!p0'@`P(λ↓J_α↓"⊂0(@@@( ↓
⊂⊂α↓"⊂ (@@@(πA
⊂⊂α¬j⊂⊂α¬ ⊂α@ P(βA ⊂α@P(βA _↓@@P(βA 00β↓ p(&↓p(βA*p(βA*p(βA*p(βA*p(βA)@λ¬↓↓(%@A ∧↓)0 ∧↓↓(%↓↓ ∧A)@⊂∧↓↓⊂(β@i@_β@a0(α@iP_α@aP(↓i`HπB
0 ↓λT ≡IeR ⊃B!¬π∪@P8β∪ @Xβ∪0xαR`1λβ∩`!_β∩@1(αB$P↓¬`P8↓∩@!H¬R@!XβR@$P↓R`$X↓F d`↓EA$hα∧`@ α∪@`xα↓`5∧B P@↓∃PHαB&⊂αX@V_αX`V β→@V8αRA↓(αRA! αSA↓⊂αTqλαT@ppβ∃`hαU `XαU``8β⊗ `_β⊗a4("∂E∩x⊃λ@∩@%
)2@.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@kP_.@k`⊂"QπrH↔HD! ↓↔ 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 5h↓W 4X∀∩E∀X∀⊃(D∂I$"⊂@"0λ%B _%B %b⊂(%↓α0%↓!p8%A!p@&↓!p@&A"8'↓"0'A!p0(↓A@_@j⊂0¬@@0⊂(α↓ ⊂↓@*⊂AA⊂⊂'@` 0β@i` α↓ `⊂'``(α@IP βA @⊂&A↓0@i@(∧B @(¬↓i@(¬AI@(ε↓I@(π↓)P(π↓)P0π↓)`0π↓)p0π↓)p0πA*0πA
0λip8λ@I X I H
(T .HE↓x∂ !h↓∩@1`↓R@1`↓R@1`↓R@0pC 4P↓C 0`↓R@0h↓C4P↓C 0`↓R@0h↓C4P↓C 0`↓R@0h↓C4P↓C 0`↓R@0h↓C4P↓C 0`↓R@0
↓4P↓@b`_↓R@0
↓4P↓C 0`↓R@0h↓C4P↓C 0`↓R@0h↓C4P↓C 0`↓R@0h↓C4P↓C 0`↓R`0`↓B`4Xαα`0Pα∪A0α∪ Q⊂αSAP∧∀αe⊂ ∃A$("_βr(⊃λ@⊂⊂%i _%i _%i _%i _%i _%i _%i _%i!x%πi!x%i _%i _%i _%i _%i _%i _%i _%i0⊂"Q ⊃x∩HD!h↓→@60↓Y@60↓Y@60↓Y@60↓Y@60↓Y@60↓Y@60↓Y@4X∂∩CtX∂→@60↓Y@60↓Y@60↓Y@60↓Y@60↓Y@60↓Y@60↓Y@68↓⊃(F⊂λπF"(@I _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%∧ !%ChT 1Dα#⊂∩C@%8↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓RB∧Pλ∩B∧("→α↓p→ ⊂x%∧ !%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i _%i0⊂"Q Q DPλ∩B∧Pλ∃`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`58↓U`5@↓⊃(F@εEf"(¬@J@_*j0_)@j _)j⊂_(@j⊂_(j_'@ip_'@i`_'iP_&@i@_&i@_%@i0_%i _%i0_%@i@_&i@_&@iP_'i`_'@ip_'@j_(j⊂_(@j⊂_)j _)@j0_*j@_*@HT 4C"3⊂∩@ $P↓R@4X↓R`4`↓S4`↓S 4h↓S@4p↓S`4x↓S`5↓T5λ↓T 5λ↓T@5⊂↓T`5_↓U5 ↓U5_↓T`5⊂↓T@5λ↓T 5λ↓T5↓S`4x↓S`4p↓S@4h↓S 4`↓S4`↓R`4X↓R@4P↓R`$("~b↓P→ ⊂⊂¬@I _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i _¬i0⊂¬@HT 6¬#Rp⊃B@∃_↓T`5⊂αT tx↓@ 0λ↓S@0⊂↓@@4`α`0_α∩@@(↓A DP↓↓`08↓∀`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`5_↓T`4P↓↓`08↓∩@@(↓A D`α`0_α∪@0⊂↓@@4x↓@ 0λ↓T u⊂αT`5_↓U∀("≠$∩0↔λbλ,@k⊂_,↓*p_@j`_↓@jP ↓A
@ αA
0 βA
∧A
0∧AI`@∧B @0@a⊂_AI 0↓@a⊂_↓AI α@a⊂_αA ⊂β@a⊂_β@J0_∧@j0_∧@j0_∧@j0_∧@j0_∧@j0_∧@j0_∧@j0_∧@j0_∧@j0_∧@j0_∧@j0_∧@j0_∧@j0_∧@j0_∧@i ⊂β@a⊂_β@I α@a⊂_αA 0↓@a⊂_↓AI@0@a⊂_AI`@∧B
0∧AJ ∧A
0 βA
@ αA
P ↓A
`_↓@jp_@k(,@k⊂_-(T 7BBα∞ TXβ∪@Dxα∪`Eα∀Eα∀Eα∀Eα∪`Dxα∪@Dpα∪ D`α∪DXα∩`DPα∩@DPα∩@DPα∩@DPα∩`DXα∪DhβS@d("≤ε#@_@F⊂<@o <np_;↓∞`_:@nP_:n0 9@n _8A∞⊂_8n_7@m` 7mP_6@m@_5A
0_(@b`_(↓αP '↓b@_&α"0_%@`0( i ⊂β↓"_)↓!p )A!`_)A!P_*↓!@_*↓!0_*A!⊂ *A!⊂_+↓ p_+↓ ` +A P_,↓ 0_,↓ 0_,A ⊂_,B+ 8-↓K0(-A @_"Q∞∩8⊗H$⊂λA"∀PλA"∃αD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD UαD TP∪RDt("≤ES_⊃H αh% )2X&
)@0⊂iP0∂@IP0∂i`0∞@Ip0
@Ip0
j0 @J0 j⊂0 @J 0
@J 0
j00 @J00 j@0λjP0π@JP0πj`0ε@Jp(εJp0¬k0∧@K0∧k⊂0β@K (βK 0αk00↓@K00↓k@0@KP8.Ak`(/↓+p_"Q∞B∪GC`λ↓ε`$P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P↓F@4P⊂∩D∧X∂⊃(G(⊂ capGI"%λ _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i _
i0⊂
@HT ; erx⊃@DDX∪∩dTX↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X↓R`4X∩Rdd`∩⊃a⊂∪∩DtP∪⊃(G8∪K%r_I)"0%I-P_6@mP_6@mP_6@mP_6@mP_6@mP_6@mP_6@mP_6@mP_6@mP_6@mP_6@mP_6@mP_6@mP_6@mP_6@i2(% I2(#B ∩0% i20"Q∂↓⊂ KD00β∪A$hα↓ 4`αα$XααDXα↓`TPααTPααTPαα 4Pα∩`4Xα∪4h↓S@5α∪A∧hα↓4`α↓@4Xαα4XααDPαα@4Pαα@DPαα@DPαα@DX↓B@DXαα 4`↓BDh↓A`4p↓A 5∧∀@E(↓U@58↓U`E@↓VD`↓B DXαBDXαBDXαB4XααD`↓α 4h↓A@4p¬∀d("≡"QX↔λa⊂_)↓* ()↓* ()↓*0_)@j0_)@j0_*)0 α@ P %α λ↓α !(%α λ↓α 0 α@ P **0_)@j0_)↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()@j0_)@j0_)@j0_)@j0_)@j0_"Q∂!(
KD0H↓T@U⊂αT@U⊂αT`5_↓T`5_↓R`@(A DP∧@⊂⊂∧∩BTP∧@⊂⊂∧∩`@(A E_↓T`5_↓T`5⊂αT@U⊂αT@U_↓Q`⊂H↓T@U⊂αT@U⊂αT`5_↓T`5_↓R`@(A DP∧@⊂⊂∧∩BTP∧@⊂⊂∧∩`@(A E_↓T`5_↓T`5⊂αT@U⊂αT@U_↓Q(GX⊂ EB⊂¬E*!@(εI`xα@iQα@iAλα@iAλα@i1⊂α@i1⊂α@i!_α@i!_α@i!_α@i!_α@i!_α@i1⊂α@i1⊂α@iAλα@iAλα@iQα@i`xα@ippα@j⊂`α@j0Pα@jp0α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@k _α@hT >
%rP∩∧@eP¬⊗↓e8λ∃B%(
∃"E ∃αe ∃αe ∃αe(
∃"E0 ∃b¬@π∪`@ πADh∧Ap⊂∧∪∧T`∩RdtX∪RE∀P∀RE∀P∀RE∀P∀RE∀X∪RaP0↓↓!T`ε↓ 0(ε∪↓@(↓A!Dh¬A 0(¬SA⊂0↓AA∃αA`P8αWU`αV`uXβV`t("∨%∩x⊗ α0_.@k@(.↓+0_@k A _↓@k⊂_α@k αA
p βA
p_∧@j`_¬@jP ¬A
@ εA
0 πA
λA
⊂ A
A p A P( A)@(
A)0 ∂A) ⊂A 0 ∂A)@(
A)P( A)p A
A
⊂ A
λA
0 πA
@ εA
P ¬A
`_¬@jp_∧@jp βA αA ⊂_α@k _↓@k A 0_@k@(.↓+P_.@hT ?
%r(⊃B`hβ∀↓ H¬∪A`(π∪ P0α@`P0αS@Pα @Pα∪0`↓@ 0`↓R`0pαC@4X↓C@Pp↓R@1↓D4P↓D1↓R@1λ↓∧4P↓H`4P↓H`4P↓H`4P↓H`4X↓H 4X↓H 4`↓G`4`↓G`4h↓G 4hαε`Dpαε Dxα¬`Eα¬ Eλα∧`E⊂α∧ E_αC U αB`U0αα E8α↓`E@α↓ EHα`EPα EX↓@ 5`αWUh↓W 4("∨e∩x∃ α0_.@k@(.↓+08-α+ H,Bkh+Cjaλ*DjA()ε*⊃X(π)qx'λ)R_& )B(%Ii28%
)"H%
)"H%
)"H%
)"H%Ii0hβ@Ph%C P_αC)@`α@`P`&α``_βαiPHβ@`pH'A!(∧↓+@(.↓+08-Ak08"{av07[NF00[-⊗`<Hλ4h)V=qh1[lFH7→n6_4→-V(⊂∃ U@⊂≠,↔ 4λ∞7H6XMv`9{aF07[NF00XlV⊂<] ←_=|αp⊗@
]→xz@↓ ↑@↓ ↑@↓∨?␈␈xh@∪=@β0∧*V0α_{$P¬qd`α/←0↓
@↓λ*Y@¬}>`_∩@↓<8∪`5=@C ∧*V0↓L({↓$0¬qd`α2∂0β
@↓λ*Y@ ≡`8≠α∃(3`{=Aβ0∧*V0λH{α&`λU,`β)␈0¬
@↓λ*Y@[↑`X≠α∃(3hw=AC0∧*V0↓l_{β(@
qf0βnO0π XcI@λ
}`x∩@↓<8∪↓E=Bβ0∧*V0α _{∧&`λU,`α⊂o0
@↓λ*Y@λF≡a_≠α∃(3↓λ7⎇BC0∧*V0⎇@{¬&`λU,`α¬␈0
@↓λ*Y@λq↑a8≠α∃(3↓⊂∞⎇Cβ0∧*V0α' {ε&`λU,`∧X←0
@↓λ*Y@α{≡aX≠α∃(30≡⎇CD ¬8s_α3`{π(@
qf0∧{␈0∂
@↓λ*Y@
↑ax≠α∃(3↓ h⎇D∧ ¬8s_U({λ(@
qf0↓/o0⊃ XcI@α8≡b_∩@↓<8∪ 5⎇DD ¬8s_Z8{ (@
qf0¬$∂0∪⊃↓(cL`
e>b8≠α∃(3↓0ε=E∧ ¬8s_αex{
(@
qf0¬T∂0∃ pβ 8>bX⊗↓`ε@↓8S=ED ¬8s_βεX{ (@
qf0ε≠/0↔⊃↓(cL` T>bx≠α∃(3↓Hc=F↓0↓b⊃_β$8{ (@
qf0αZ←0→ `x∞ β#↑c_↔@↓q`@↓PA=FCX∧qdhβ-_{
'0 cIPεkO0≠↓λ*Y@
y>c8α∃(3↓`%=Gα(β≤9Pmx{∞%ε8s ↓lo0≥ `x∞ βl}cX∩@↓<8∪↓`;⎇GC_∧π∂_βT`{∂&0λ∞≡0πE␈0∨ `↓λ*Y@∂/≡cx→@α∃(3↓x∧⎇Hα`β@hβu0{⊗epπG⊂M␈0. `x∞ ↓<≡eh↔@↓q`@↓x⎇⎇KbxβcH7λ{↔epπG⊂⎇o00 pβ ⊂*≡fλ⊗↓`ε@αz⎇L"λαU+_∧∀⊂{_d⊂¬*V0λ5␈02λ PU,`⊃π≡f(⊂@↓*PY@α⊂D⎇Lb(αxr0↓∨X{→dP¬qd`αM∂04π@HG⊂⊃=↑fH∂↓_p α_1⎇M!8↓jUP↓⊃{~dP¬qd`λz∂06 XcI@∩(}fh⊗↓`ε@α(_=Mb(αxr0↓
_{≠bpβU+ @?08
`↓λG∪ ∪∪≡gλ~α _⎇α0p⎇N#P∧N≥P∧v`{≤dpε↔<`αoO0: `x∞ ∪|>g(↔@↓q`@α@7=Nc0∧*V0¬∞X{≥f`λU,`
(/0<λ PU,`∀f>gH∂@↓*PY@αP~=O!xαU+_¬*H{≡e@π↓P
eo0> `↓λ*Y@∃x}gh→@α∃(3α`0=Oc_∧*V0¬PX{∨f0λU,` 7∂H¬gAw{⎇xow{⎇x